于宁;马丁·威尔辛 基于SOC的混合系统正式规范和验证。 (英语) Zbl 1469.68063号 Codescu,Mihai(编辑)等人,代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9463151-169(2015年)。MSC公司:60年第68季度 03B44号 34A38型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Yu}和\textit{M.Wirsing},莱克特。注释计算。科学。9463,151--169(2015;Zbl 1469.68063) 全文: 内政部
罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 模型检查海伦娜与旋转合奏。 (英语) Zbl 1321.68346号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,331-360(2015)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Lect。注释计算。科学。9200、331--360(2015年;Zbl 1321.68346) 全文: 内政部
乔纳斯·埃克哈特;托拜厄斯·穆尔鲍尔;何塞·梅塞格尔;马丁·威尔辛 复合参与者系统的统计模型检查。 (英语) Zbl 1394.68228号 Martí-Oliet,Narciso(编辑)等人,代数开发技术的最新趋势。第21届国际研讨会,2012年WADT,西班牙萨拉曼卡,2012年6月7日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-37634-4/pbk)。计算机科学课堂讲稿7841143-160(2013)。MSC公司:60年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eckhardt}等人,Lect。注释计算。科学。7841、143--160(2013;Zbl 1394.68228) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 (英语) 兹比尔1216.68187 西奥。计算。科学。 412,第28号,3101-3121(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Theor。计算。科学。412,第28号,3101--3121(2011;Zbl 1216.68187) 全文: 内政部
范·里姆斯迪克(M.Birna van Riemsdijk);罗尔夫·亨尼克;马丁·威尔辛;安德烈亚斯·施罗德 使用描述逻辑进行服务规范和匹配。基于制度的方法。 (英语) Zbl 1170.68534号 Meseguer,José(编辑)等人,代数方法论和软件技术。第12届国际会议,AMAST 2008,美国伊利诺伊州厄巴纳,2008年7月28日至31日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。计算机科学课堂讲稿5140392-406(2008)。MSC公司:60年第68季度 03B70号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.B.van Riemsdijk}等人,Lect。注释计算。科学。5140392--406(2008年;Zbl 1170.68534) 全文: 内政部
亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 MTLA和移动UML中移动系统的规范和细化。 (英语) Zbl 1086.68016号 西奥。计算。科学。 351,第2期,184-202(2006).MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人,Theor。计算。科学。351,第2号,184--202(2006;Zbl 1086.68016) 全文: 内政部 链接
马丁·威尔辛(编辑);德克·帕丁森(编辑);罗尔夫·亨尼克(编辑) 代数开发技术的最新趋势。2002年9月24日至27日,第16次国际研讨会,WADT 2002,德国Frauenchiemsee。修订了选定的论文。 (英语) Zbl 1028.00034号 计算机科学课堂讲稿. 2755. 柏林:斯普林格。viii,457页(2003年)。MSC公司:00B25型 68-06 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}(ed.)等人,代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。柏林:施普林格出版社(2003;Zbl 1028.00034) 全文: 内政部 链接
斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 用于移动系统规范和细化的时空逻辑。 (英语) Zbl 1032.03028号 Pezzè,Mauro(编辑),《软件工程的基本方法》,2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003,该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。262187-101(2003年)。MSC公司:03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}等人,Lect。注释计算。科学。2621,87--101(2003;Zbl 1032.03028) 全文: 链接
约翰·克罗斯利。;伊曼·波尔莫莫;马丁·威尔辛 从规范证明中提取结构化程序。 (英语) Zbl 0966.68120号 Bert,Didier(编辑)等人,代数开发技术的最新趋势。1999年9月15日至18日,第14届国际研讨会,WADT'99,法国波纳斯酒庄。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1827, 419-437 (2000).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Crossley}等人,Lect。注释计算。科学。1827419-437(2000年;Zbl 0966.68120)
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 (英语) Zbl 0901.68116号 西奥。计算。科学。 173,第2期,393-443(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。173,编号2,393--443(1997;Zbl 0901.68116) 全文: 内政部
罗尔夫·亨尼克;马丁·威尔辛 行为规范。 (英语) Zbl 0831.68061号 Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。139, 193-230 (1995).MSC公司:68问题55 60年第68季度 68问题65 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Wirsing},北约ASI Ser。,序列号。F、 计算。系统。科学。139193-230(1995年;Zbl 0831.68061)
F.尼克尔。;Wirsing,M。 一种正式的需求工程方法。 (俄语。英文摘要) Zbl 0832.68070号 程序mirovanie 1993年,第6号,39-63(1993).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Nickl}和\textit{M.Wirsing},Programmirovanie 1993年,第6期,第39-63页(1993;Zbl 0832.68070)
马丁·威尔辛(编辑);Jan A.Bergstra。(编辑) 代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。 (英语) Zbl 0745.68019号 计算机科学课堂讲稿. 394. 柏林等:Springer-Verlag。六、 第558页(1989年)。 审核人:D.Gruska(布拉迪斯拉发) MSC公司:68-06 68问题65 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}(编辑)和\textit{J.A.Bergstra}(编辑),代数方法:理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0745.68019)
曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 关于编程语言的代数定义。 (英语) 兹比尔062768009 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《美国医学杂志》。程序。语言系统。9、54-99(1987年;Zbl 0627.68009) 全文: 内政部 链接
埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 关系规范和观察语义。 (英语) Zbl 0637.68012号 计算机科学数学基础。第十二交响曲。,布拉迪斯拉发/捷克。1986年,Lect。注释计算。科学。233, 209-217 (1986). 审核人:M.果戈拉 MSC公司:68号01 60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;Möller,伯恩哈德;彼得·佩珀;马丁·威尔辛 代数实现可以保持程序的正确性。 (英语) Zbl 0597.68021号 科学。计算。程序。 7, 35-53 (1986).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,科学。计算。程序。7、35-53(1986年;Zbl 0597.68021) 全文: 内政部
彼得·帕平豪斯;马丁·威尔辛 非确定性三值逻辑:保序和保护真函数。 (英语) Zbl 0537.68021号 螺柱日志。 42, 1-22 (1983).MSC公司:60年第68季度 03B50号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Päppinghaus}和\textit{M.Wirsing},螺柱日志。42、1--22(1983年;Zbl 0537.68021) 全文: 内政部
曼弗雷德·布罗伊;马丁·威尔辛 广义异质代数和部分解释。 (英语) Zbl 0522.08001号 代数和编程树,CAAP’83,Proc。第八次座谈会,拉奎拉/意大利,1983年,勒克特。注释计算。科学。159, 1-34 (1983).MSC公司:08A02号 60年第68季度 PDF格式BibTeX公司 XML格式
马丁·威尔辛 结构化代数规范。 (英语) Zbl 0514.68024号 《信息数学》,AFCET Colloq.,巴黎,1982,93-107(1982)。MSC公司:68第05页 60年第68季度 68号01 03B40型 PDF格式BibTeX公司 XML格式
雅塞克·莱斯齐洛夫斯基;马丁·威尔辛 一种在代数规范内或关于代数规范进行推理的系统。 (英语) 兹伯利0496.68016 编程,程序。国际交响乐团。,第五学院,都灵,1982年,法律。注释计算。科学。137, 257-282 (1982).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
唐纳德·桑内拉;马丁·威尔辛 参数化规范的实现(扩展抽象)。 (英语) Zbl 0492.68023号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。注释计算。科学。140, 473-488 (1982).MSC公司:68第05页 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;马丁·威尔辛 关于抽象数据类型的代数扩展。 (英语) Zbl 0492.68024号 编程概念的形式化。int.Colloq.,西班牙佩尼斯科拉,1981年,法律。注释计算。科学。107, 244-251 (1981).MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
布罗伊,M。;多施,W。;B.穆勒。;Wirsing,M。 GOTOs-编程语言代数规范的研究。(扩展摘要)。 (英语) Zbl 0481.68028号 GI-11。贾勒斯塔格。,第三届欧洲理事会信息,慕尼黑,1981年,信息-Fachber。50. 109-121 (1981).MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
[德兰萨特,P。;科托夫,V.E。;高德尔,M.C。;特琳·G·。;N.D.琼斯。;施密特,D.A。;布罗伊,M。;Wirsing,M。;博利尔,P。;里普肯,K。;美国卡斯滕斯。;齐默尔曼,E。;M·拉斯科夫斯基。] 语言和传统。1978年10月至1981年10月,罗克扬科特,《信息与自动化研究所(IRIA)》,《研究所组织文本》。 (法语) Zbl 0473.68078号 收藏“INRIA研讨会”。Rocquencourt/法国:国家信息与自动化研究所(Institute National de Recherche en Informatique et en Automatique)。176页F 56.00(1981年)。MSC公司:68问题55 68-06 60年第68季度 65年第68季度 00亿Bxx PDF格式BibTeX公司 XML格式
鲍尔,F.L。;布罗伊,M。;多施,W。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 用广谱语言编程:示例集。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部
布罗伊,M。;Wirsing,M。 程序开发:从枚举到回溯。 (英语) Zbl 0443.68011号 信息处理。莱特。 10, 193-197 (1980).MSC公司:60年第68季度 68瓦99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing},Inf.过程。莱特。10193-197(1980年;兹bl 0443.68011) 全文: 内政部
布罗伊,M。;胡椒,P。;Wirsing,M。 关于程序之间的关系。 (英语) Zbl 0435.68017号 国际交响乐团。编程,程序。,1980年,巴黎。注释计算。科学。83, 59-78 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
布罗伊,M。;Wirsing,M。 作为抽象数据类型的编程语言。 (英语) Zbl 0433.68014号 Les arbres en algebre et en programmation,5ieme Colloq.,里尔1980,160-177(1980)。MSC公司:60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式
布罗伊,M。;R.格纳茨。;Wirsing,M。 问题spezifikation-eine Grundlage für Programmentwicklung。 (德语) Zbl 0407.68005号 可靠软件研讨会,第二届会议。德国。ACM章,波恩,1978年,申请。计算。科学。,Ber.公司。普拉克。Inf.14,235-246(1979)。MSC公司:68号01 68第05页 68问题65 PDF格式BibTeX公司 XML格式
Broy,M。;Wirsing,M。;财务,J.P。;A.奎尔。;雷米,J.L。 给定序列中最大长度升序子序列问题的方法求解。 (英语) Zbl 0406.68012号 信息处理。莱特。 8224-229(1979年).MSC公司:60年第68季度 68号01 68第05页 68瓦99 20日03时 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《信息处理》。莱特。8224--229(1979年;Zbl 0406.68012) 全文: 内政部
布罗伊,M。;R.格纳茨。;Wirsing,M。 非确定性和非连续结构的语义。 (英语) Zbl 0406.03059号 项目建设,国际夏令营。,马克托伯多夫1978年,Lect。注释计算。科学。第69553-592页(1979年)。MSC公司:03D60年 68N99型 03E60年 68问题65 PDF格式BibTeX公司 XML格式